Petri net - PDFSEARCH.IO - Document Search Engine

Petri net
Results: 320

#	Item
101	Story Diagrams – Syntax and Semantics 123 Technical Report tr-ri Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2012-07-12 05:34:25 Combinatorics Graph rewriting Graph Petri net Topology Graph theory Mathematics Theoretical computer science
102	McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-06-10 18:11:01 Computer science Model checkers Concurrency Automata theory Diagrams NuSMV Petri net Model checking Formal verification Models of computation Theoretical computer science Applied mathematics
103	(P)NFG: A LANGUAGE AND RUNTIME SYSTEM FOR STRUCTURED COMPUTER NARRATIVES Christopher J.F. Pickett Clark Verbrugge F´elix Martineau School of Computer Science, McGill University Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2005-08-08 06:59:50 Diagrams Freeware NuSMV Models of computation Petri net Model checking Inform Hugo Binary decision diagram Software Interactive fiction Computing
104	FM2012 - FORMAL METHOD - V1 Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:18:54 Diagrams Petri net Formal methods Validation Software development process Knowledge Science Software development Concurrency
105	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-29 05:50:59 Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency
106	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science
107	PII: Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 16:37:08 Formal methods Muller automaton Deterministic automaton Nondeterministic finite automaton Finite-state machine Alphabet Petri net Ω-automaton Automata theory Theoretical computer science Computer science
108	Microsoft Word - EE514_v2011_New_SDF.doc Add to Reading List Source URL: www.ee.polyu.edu.hk Language: English - Date: 2013-02-27 04:54:10 Science System Simulation Distributed computing Operating system Petri net Hardware-in-the-loop simulation Systems science Knowledge Systems theory Cybernetics Real-time computing
109	REACHABILITY IN TWO-DIMENSIONAL VECTOR ADDITION SYSTEMS WITH STATES IS PSPACE-COMPLETE arXiv:1412.4259v1 [cs.FL] 13 Dec,‡,§ , CHRISTOPH HAASE2,†,§ , Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-04-13 05:39:26 Petri net Reachability FO Applied mathematics Computer science Theoretical computer science Concurrency Diagrams
110	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING 1 Workflow Nets fo Add to Reading List Source URL: www.csd.uwo.ca Language: English Workflow Petri net Multi-agent system Business Robotics Robot Systems engineering Workflow technology Management Groupware

UPDATE